大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Petri Nets and Other Models of Concurrency-ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

0
索取号：
作者：Kleijn、 Jetty.、Yakovlev、 Alex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号：
作者：Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Partner Choice and Cooperation in Networks [electronic resource] : Theory and Experimental Evidence

0
索取号：
作者：Ule、 Alja啪.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Introduction to the Theory of Cooperative Games [electronic resource]

0
索取号：
作者：Peleg、 Bezalel.、Sudh枚lter、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings

0
索取号：
作者：Bshouty、 Nader H.、Gentile、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31鈥ʵne 1, 2007. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Grzech、 Adam.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Theory and Applications of Satisfiability Testing-SAT 2007 [electronic resource] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

0
索取号：
作者：Marques-Silva、 Jo茫o.、Sakallah、 Karem A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

0
索取号：
作者：Malek、 Miroslaw.、Reitenspie脽、 Manfred.、Moorsel、 Aad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

0
索取号：
作者：Artemov、 Sergei N.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

GPS [electronic resource] : Theory, Algorithms and Applications

0
索取号：
作者：Xu、 Guochang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Intelligence Based on Lattice Theory [electronic resource]

0
索取号：
作者：Kaburlasos、 Vassilis G.、Ritter、 Gerhard X.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Topics in Applied Macrodynamic Theory [electronic resource]

0
索取号：
作者：Flaschel、 Peter.、Groh、 Gangolf.、Proa帽o、 Christian.、Semmler、 Willi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Cryptology - EUROCRYPT 2007 [electronic resource] : 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings

0
索取号：
作者：Naor、 Moni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Theory and Applications of Models of Computation [electronic resource] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

0
索取号：
作者：Cai、 Jin-Yi.、Cooper、 S. Barry.、Zhu、 Hong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院